Structuring and modules for knowledge bases: motivation for a new model
نویسندگان
چکیده
Evolving out of theoretic and practical work, this paper presents the motivation and basic ideas for the construction and use of modular knowledge bases. The approach bears upon earlier work by the two authors done separately from each other. We introduce a model which attempts to merge two previous approaches while maintaining their benefits: Modules for logical knowledge bases, and ordered by generality domains. Central aims are reusability, restriction of memory search, and management of inconsistent (competing) knowledge within one knowledge base. We explain the model by motivational examples and discuss the formal semantics of structured, modular knowledge bases for knowledge representations that are based on logic programming.
منابع مشابه
Can Scaffolding Mechanisms of Structuring and Problematizing Facilitate the Transfer of Genre-based Knowledge to Another Discourse Mode?
A pivotal issue in research on writing concerns whether the knowledge of how genres are constructed and learned in one discipline/genre can be transferred to other contexts, genres, and disciplines. Yet, studies conducted so far have not presented a unified and complete view of how various writing instructional techniques can result in transferability. This study examined the effect of structur...
متن کاملOn duality of modular G-Riesz bases and G-Riesz bases in Hilbert C*-modules
In this paper, we investigate duality of modular g-Riesz bases and g-Riesz bases in Hilbert C*-modules. First we give some characterization of g-Riesz bases in Hilbert C*-modules, by using properties of operator theory. Next, we characterize the duals of a given g-Riesz basis in Hilbert C*-module. In addition, we obtain sufficient and necessary condition for a dual of a g-Riesz basis to be agai...
متن کاملMulti-Frame Vectors for Unitary Systems in Hilbert $C^{*}$-modules
In this paper, we focus on the structured multi-frame vectors in Hilbert $C^*$-modules. More precisely, it will be shown that the set of all complete multi-frame vectors for a unitary system can be parameterized by the set of all surjective operators, in the local commutant. Similar results hold for the set of all complete wandering vectors and complete multi-Riesz vectors, when the surjective ...
متن کاملDesigning a Model for development of Knowledge networks in Research and technology Hub of Oil Industry "Using soft-ThinkingApproach and cognitiveMapping model"
Knowledge network is one of the new strategies of knowledge management and it,s rationale of it is create synergy effects through a combination of effective human resources knowledge workers and knowledge bases of allied companies. Today, the face of complex structural issues and various stakeholders,s views to it, leading to increase use of software systems, particularly in managerial issues t...
متن کاملConsidering Uncertainty in Modeling Historical Knowledge
Simplifying and structuring qualitatively complex knowledge, quantifying it in a certain way to make it reusable and easily accessible are all aspects that are not new to historians. Computer science is currently approaching a solution to some of these problems, or at least making it easier to work with historical data. In this paper, we propose a historical knowledge representation model takin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Knowl.-Based Syst.
دوره 7 شماره
صفحات -
تاریخ انتشار 1994